Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

The Diagnostic Potential of Transition Region Lines under-going Transient Ionization in Dynamic Events

We discuss the diagnostic potential of high cadence ultraviolet spectral data when transient ionization is considered. For this we use high cadence UV spectra taken during the impulsive phase of a solar flares (observed with instruments on-board the Solar Maximum Mission) which showed excellent correspondence with hard X-ray pulses. The ionization fraction of the transition region ion O V and in particular the contribution function for the O V 1371A line are computed within the Atomic Data and Analysis Structure, which is a collection of fundamental and derived atomic data and codes which manipulate them. Due to transient ionization, the O V 1371A line is enhanced in the first fraction of a second with the peak in the line contribution function occurring initially at a higher electron temperature than in ionization equilibrium. The rise time and enhancement factor depend mostly on the electron density. The fractional increase in the O V 1371A emissivity due to transient ionization can reach a factor of 2--4 and can explain the fast response in the line flux of transition regions ions during the impulsive phase of flares solely as a result of transient ionization. This technique can be used to diagnostic the electron temperature and density of solar flares observed with the forth-coming Interface Region Imaging Spectrograph.Comment: 18 pages, 6 figure

Differential cross sections, charge production asymmetry, and spin-density matrix elements for D*(2010) produced in 500 GeV/c pi^- nucleon interactions

We report differential cross sections for the production of D*(2010) produced in 500 GeV/c pi^- nucleon interactions from experiment E791 at Fermilab, as functions of Feynman-x (x_F) and transverse momentum squared (p_T^2). We also report the D* +/- charge asymmetry and spin-density matrix elements as functions of these variables. Investigation of the spin-density matrix elements shows no evidence of polarization. The average values of the spin alignment are \eta= 0.01 +- 0.02 and -0.01 +- 0.02 for leading and non-leading particles, respectively.Comment: LaTeX2e (elsart.cls). 13 pages, 6 figures (eps files). Submitted to Physics Letters

Asymmetries between the production of D+ and D- mesons from 500 GeV/c pi- nucleon interactions as a function of xF and pt**2

We present asymmetries between the production of D+ and D- mesons in Fermilab experiment E791 as a function of xF and pt**2. The data used here consist of 74,000 fully-reconstructed charmed mesons produced by a 500 GeV/c pi- beam on C and Pt foils. The measurements are compared to results of models which predict differences between the production of heavy-quark mesons that have a light quark in common with the beam (leading particles) and those that do not (non-leading particles). While the default models do not agree with our data, we can reach agreement with one of them, PYTHIA, by making a limited number of changes to parameters used

Search for CP Violation in Charged D Meson Decays

We report results of a search for CP violation in the singly Cabibbo-suppressed decays D+ -> K- K+ pi+, phi pi+, K*(892)0 K+, and pi- pi+ pi+ based on data from the charm hadroproduction experiment E791 at Fermilab. We search for a difference in the D+ and D- decay rates for each of the final states. No evidence for a difference is seen. The decay rate asymmetry parameters A(CP), defined as the difference in the D+ and D- decay rates divided by the sum of the decay rates, are measured to be: A(CP)(K K pi) = -0.014 +/- 0.029, A(CP)(phi pi) = -0.028 +/- 0.036, A(CP)(K*(892) K) = -0.010 +/- 0.050, and A(CP)(pi pi pi) = -0.017 +/- 0.042.Comment: 13 pages, 5 figures, 1 table; Elsevier LaTe

Branching Fractions for D0 -> K+K- and D0 -> pi+pi-, and a Search for CP Violation in D0 Decays

Using the large hadroproduced charm sample collected in experiment E791 at Fermilab, we have measured ratios of branching fractions for the two-body singly-Cabibbo-suppressed charged decays of the D0: (D0 -> KK)/(D0 -> Kpi) = 0.109 +- 0.003 +- 0.003, (D0 -> pipi)/(D0 -> Kpi) = 0.040 +- 0.002 +- 0.003, and (D0 -> KK)/(D0 -> pipi) = 2.75 +- 0.15 +- 0.16. We have looked for differences in the decay rates of D0 and D0bar to the CP eigenstates K+K- and pi+pi-, and have measured the CP asymmetry parameters A_CP(K+K-) = -0.010 +- 0.049 +- 0.012 and A_CP(pi+pi-) = -0.049 +- 0.078 +- 0.030, both consistent with zero.Comment: 10 Postscript pages, including 2 figures. Submitted to Phys. Lett.

Search for Rare and Forbidden Dilepton Decays of the D+, Ds, and D0 Charmed Mesons

We report the results of a search for flavor-changing neutral current, lepton-flavor violating, and lepton-number violating decays of D+, Ds, and D0 mesons (and their antiparticles) into modes containing muons and electrons. Using data from Fermilab charm hadroproduction experiment E791, we examine the pi,l,l and K,l,l decay modes of D+ and Ds and the l+l- decay modes of D0. No evidence for any of these decays is found. Therefore, we present branching-fraction upper limits at 90% confidence level for the 24 decay modes examined. Eight of these modes have no previously reported limits, and fourteen are reported with significant improvements over previously published results.Comment: 12 pages, 3 figures, LaTeX, elsart.cls, epsf.sty, amsmath.sty Submitted to Physics Letters

Measurement of the form-factor ratios for D+ --> K* l nu

The form factor ratios rv=V(0)/A1(0), r2=A2(0)/A1(0) and r3=A3(0)/A1(0) in the decay D+ --> K* l nu, K* -->K-pi+ have been measured using data from charm hadroproduction experiment E791 at Fermilab. From 3034 (595) signal (background) events in the muon channel, we obtain rv=1.84+-0.11+-0.09, r2=0.75+-0.08+-0.09 and, as a first measurement of r3, we find 0.04+-0.33 +-0.29. The values of the form factor ratios rv and r2 measured for the muon channel are combined with the values of rv and r2 that we have measured in the electron channel. The combined E791 results for the muon and electron channels are rv=1.87+-0.08+-0.07 and r2=0.73+-0.06+-0.08.Comment: 9 pages + 3 figures ; submitted to PL

Mass Splitting and Production of Σc0\Sigma_c^0 and Σc++\Sigma_c^{++} Measured in 500GeV500 {GeV} π−−\pi^- -N Interactions

From a sample of $2722 \pm 78$ $\Lambda_c^+$ decaying to the $pK^-\pi^+$ final state, we have observed, in the hadroproduction experiment E791 at Fermilab, $143 \pm 20$ $\Sigma_c^0$ and $122 \pm 18$ $\Sigma_c^{++}$ through their decays to $\Lambda_c^+ \pi^{\pm}$. The mass difference $M(\Sigma_c^0) - M(\Lambda_c^+$) is measured to be $(167.38\pm 0.29\pm 0.15) {MeV}$; for $M(\Sigma_c^{++}) - M(\Lambda_c^+)$, we find $(167.76\pm 0.29\pm0.15) {MeV}$. The rate of $\Lambda_c^+$ production from decays of the $\Sigma_c$ triplet is (22\pm 2\pm 3) {%} of the total $\Lambda_c^+$ production assuming equal rate of production from all three, as measured for $\Sigma_c^0$ and $\Sigma_c^{++}$. We do not observe a statistically significant $\Sigma_c$ baryon-antibaryon production asymmetry. The $x_F$ and $p_t^2$ spectra of $\Lambda_c^+$ from $\Sigma_c$ decays are observed to be similar to those for all $\Lambda_c^+$'s produced.Comment: 15 pages, uuencoded postscript 3 figures uuencoded, tar-compressed fil

Time-integrated luminosity recorded by the BABAR detector at the PEP-II e+e- collider

This article is the Preprint version of the final published artcile which can be accessed at the link below.We describe a measurement of the time-integrated luminosity of the data collected by the BABAR experiment at the PEP-II asymmetric-energy e+e- collider at the ϒ(4S), ϒ(3S), and ϒ(2S) resonances and in a continuum region below each resonance. We measure the time-integrated luminosity by counting e+e-→e+e- and (for the ϒ(4S) only) e+e-→μ+μ- candidate events, allowing additional photons in the final state. We use data-corrected simulation to determine the cross-sections and reconstruction efficiencies for these processes, as well as the major backgrounds. Due to the large cross-sections of e+e-→e+e- and e+e-→μ+μ-, the statistical uncertainties of the measurement are substantially smaller than the systematic uncertainties. The dominant systematic uncertainties are due to observed differences between data and simulation, as well as uncertainties on the cross-sections. For data collected on the ϒ(3S) and ϒ(2S) resonances, an additional uncertainty arises due to ϒ→e+e-X background. For data collected off the ϒ resonances, we estimate an additional uncertainty due to time dependent efficiency variations, which can affect the short off-resonance runs. The relative uncertainties on the luminosities of the on-resonance (off-resonance) samples are 0.43% (0.43%) for the ϒ(4S), 0.58% (0.72%) for the ϒ(3S), and 0.68% (0.88%) for the ϒ(2S).This work is supported by the US Department of Energy and National Science Foundation, the Natural Sciences and Engineering Research Council (Canada), the Commissariat à l’Energie Atomique and Institut National de Physique Nucléaire et de Physiquedes Particules (France), the Bundesministerium für Bildung und Forschung and Deutsche Forschungsgemeinschaft (Germany), the Istituto Nazionale di Fisica Nucleare (Italy), the Foundation for Fundamental Research on Matter (The Netherlands), the Research Council of Norway, the Ministry of Education and Science of the Russian Federation, Ministerio de Ciencia e Innovación (Spain), and the Science and Technology Facilities Council (United Kingdom). Individuals have received support from the Marie-Curie IEF program (European Union) and the A.P. Sloan Foundation (USA)